perm filename INFIX.BNF[BNF,JRA] blob
sn#030171 filedate 1973-03-21 generic text, type T, neo UTF8
00100
00300
00400 <PRED> ::=<PREPREDLET><ITMLST> =>(PREPREDLET.ITMLST)
00425 ::=<PREPREDLET> =>(PREPREDLET (%))
00450 ::=<INFPREDLET> =>(INFPREDLET (%))
00500 ::=<TM><INFPREDLET><TM1> =>(INFPREDLET TM TM1)
00600
00700 <ITMLST>::=(<ITMS> =>ITMS
00800
00900 <ITMS> ::=<TM2><ITMS> =>(TM2.ITMS)
01000 ::=<TM>) =>(TM)
01100
01200 <TM> ::=<IVAR> =>IVAR
01300 ::=<PREFN><ITMLST> =>(PREFN.ITMLST)
01400 ::=<PREFN> =>(PREFN)
01500 ::=(<TM>) =>*
01550 ::=<TM><INFN><TM1> =>(INFN TM TM1)
01600
01700 <TM1> ::=<TM> =>*
01800 <TM2>::= <TM>,=>*
02050
03500
03600 END
03700
03800 NIL